
public class Soma {	
	int valor = 0;
	byte byteValor = 6; 	
	
	//@ invariant valor > 0;
    /*@ invariant byteValor != 4 && byteValor < 10; @*/
	
	public Soma(int valor) {  
		this.valor = valor;
	} 	

	//@ requires a >1;	
	public void somar(int a, int m, int c ){
		valor += a;
	}			
	
	//@ requires valor >1;
	public int getValor(){
		return valor;
	}
	public void setByteValor(byte t){
		byteValor = t;
	}
}